Skip to content

Conversation

@lukasmatta
Copy link
Collaborator

Add docs missed in #442

@lukasmatta lukasmatta self-assigned this Sep 29, 2025
@lukasmatta lukasmatta added the documentation Improvements or additions to documentation label Sep 29, 2025
@lukasmatta lukasmatta added the skip-release-notes No release notes required label Sep 29, 2025
@lukasmatta lukasmatta merged commit 9e4294b into master Sep 29, 2025
2 of 4 checks passed
@lukasmatta lukasmatta deleted the fix/missing-docs branch September 29, 2025 14:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation skip-release-notes No release notes required

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants